/* Maximum number of bytes for ElfXX_Ehdr and associated ElfXX_Phdr */
MAX_ELF_HDR_32= 512  /* one disk block in the early days */
MAX_ELF_HDR_64= 1024 /* twice as much because 64-bit addresses */
